home *** CD-ROM | disk | FTP | other *** search
/ The PC-SIG Library 9 / The PC-SIG Library on CD ROM - Ninth Edition.iso / 401_500 / DISK0417 / DISK0417.ZIP / PROLOG.ARC / SAMPLES.ARC / SUCCESS.PRO < prev    next >
Text File  |  1986-07-20  |  128b  |  5 lines
  1. s(X,Y) :- X1 is X + 1, (Y is X1 ; s(X1,Y) ).
  2.  
  3. s1(X,Y) :- X1 is X + 1, Y is X + 1.
  4. s1(X,Y) :- X1 is X + 1, s1(X1, Y).
  5.